A Logic-Based, Reactive Calculus of Events
نویسندگان
چکیده
Since its introduction, the Event Calculus (EC) has been recognized for being an excellent framework to reason about time and events, and it has been applied to a variety of domains. However, its use inside logic-based frameworks has been mainly a-posteriori, based on specific queries and backward reasoning. This has somehow limited its applicability in dynamic environments. We fill this gap by proposing a Reactive and logic-based implementation of the EC, called REC. We give an axiomatization of REC inside the SCIFF Abductive Logic Programming framework, and study its formal properties.
منابع مشابه
Extending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملProgramming in logic without logic programming
In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states. In this model-theoretic semantics, reactive rules are the driving for...
متن کاملECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language
Event-driven reactive functionalities are an urgent need in nowadays distributed service-oriented applications and (Semantic) Web-based environments. An important problem to be addressed is how to correctly and efficiently capture and process the event-based behavioral, reactive logic represented as ECA rules in combination with other conditional decision logic which is represented as derivatio...
متن کاملA Logic-Based Framework for Reactive Systems
We sketch a logic-based framework in which computation consists of performing actions to generate a sequence of states, with the purpose of making a set of reactive rules in the logical form antecedents consequents all true. The antecedents of the rules are conjunctions of past or present conditions and events, and the consequents of the rules are disjunctions of conjunctions of future condit...
متن کاملComposition of Reactive System Components
This paper will present the case for using a formal component-based speciication technique for reactive systems, such as the Object Calculus of Fiadeiro and Maibaum. The Object Calculus provides a modular, highly declarative and abstract speciication language, suitable for reenement using model-based design notations such as B or VDM. In the Object Calculus, pre/post style speciications of the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Fundam. Inform.
دوره 105 شماره
صفحات -
تاریخ انتشار 2010